Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
171	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
172	Erasable coercions: a unified approach to type systems Julien Cretin January 30, 2014 Add to Reading List Source URL: phd.ia0.fr Language: English - Date: 2014-01-30 14:31:16 Type theory Functional languages Cross-platform software Programming language implementation OCaml Computing platforms Type system Programming language Bytecode Computing Software engineering Software
173	Implementation Science BioMed Central Open Access Add to Reading List Source URL: www.implementationscience.com Language: English Social psychology Organizational theory Corporatism Human resource management Organizational culture Organizational learning Consulting psychology Organisation climate Organization development Organizational behavior Behavioural sciences Management
174	Virtual Robust Implementation and Strategic Revealed Preference Dirk Bergemann and Stephen Morris Workshop of Mathematical Economics Celebrating the 60th birthday of Aloisio Araujo IMPA Rio de Janeiro Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2007-01-03 13:51:42 Economics First-price sealed-bid auction Auction Bid price Auctioneering Auction theory Business
175	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
176	Faster Construction of Planar Two-centers David Eppstein∗ Abstract tical implementation. The method is complicated, and Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1997-12-08 20:38:05 Analysis of algorithms Computational geometry Probabilistic complexity theory Randomized algorithm Algorithm Time complexity Binary search algorithm LP-type problem Closest pair of points problem Theoretical computer science Applied mathematics Mathematics
177 $Osteoporosis / Hip fracture / Geriatrics / Pathologic fracture / Health care / Normalization process theory / Carl R. May / Medicine / Bone fractures / Health$	Implementation Science This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon. Implementation of secondary fracture p Add to Reading List Source URL: www.implementationscience.com Language: English Osteoporosis Hip fracture Geriatrics Pathologic fracture Health care Normalization process theory Carl R. May Medicine Bone fractures Health
178	High-Performance Implementation of Solvers for MPC and MHE Gianluca Frison, John Bagterp Jørgensen Technical University of Denmark CITIES WP-5 Workshop, Add to Reading List Source URL: smart-cities-centre.org Language: English - Date: 2015-01-09 10:47:36 Operations research Control theory Model predictive control Basic Linear Algebra Subprograms Mathematical optimization Matrix Preconditioner Applied mathematics Numerical linear algebra Mathematics Numerical software
179	Conducting Surveys in Areas of Armed Conflict Comparative Survey Design and Implementation Stockholm, Sweden March 21, 2013 Zeina Mneimneh, University of Michigan Add to Reading List Source URL: www.csdiworkshop.org Language: English - Date: 2013-04-16 11:49:28 Institute for Social Research Marxist theory Social philosophy Sociology Frankfurt School Goethe University Frankfurt
180	Implementation of tomography based on TOMO2 Witold Rohm GNSS&Meteo, Institute of Geodesy and Geoinformatics, Wroclaw University of Environmental and Life Sciences Add to Reading List Source URL: www.igig.up.wroc.pl Language: English - Date: 2014-12-15 15:24:54 Linear filters Cybernetics Systems theory Kalman filter Tomography Covariance Statistics Robot control Control theory

UPDATE